Science of Logic

Results: 5317



#Item
81

THE JUSTINE LAMBERT GRADUATE Paper Competition IN THE FOUNDATIONS OF SCIENCE The Department of Logic and Philosophy of Science announces

Add to Reading List

Source URL: www.lps.uci.edu

- Date: 2015-01-30 17:51:41
    82

    Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science, Karlsruhe Institute of Technology, Germany Abstract Predicate abstraction is a form of abstract interpretation

    Add to Reading List

    Source URL: i12www.iti.kit.edu

    - Date: 2010-06-24 07:51:38
      83

      The Preservation Properties of Positive Horn Logic Barnaby Martin Department of Computer Science, University of Durham, Durham DH1 3LE, UK. Florent Madelaine

      Add to Reading List

      Source URL: www.bedewell.com

      - Date: 2009-11-05 08:17:18
        84

        In: O. Danvy, R. Gl uck, P. Thiemann, editors, Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12{16, 1996, Lecture Notes in Computer Science 1110, Springer, A Theory of Logic Program

        Add to Reading List

        Source URL: repository.readscheme.org

        - Date: 2010-10-22 08:04:37
          85

          Surprisal-based comparison between a symbolic and a connectionist model of sentence processing Stefan L. Frank () Institute for Logic, Language and Computation University of Amsterdam Science Park 904, 10

          Add to Reading List

          Source URL: www.stefanfrank.info

          - Date: 2012-03-11 05:05:07
            86

            Program of the Twenty-Sixth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE 21–24 June 2011, Toronto, Ontario, Canada The symposium is sponsored by the IEEE Computer Society’s Technical Committee on Mathematical

            Add to Reading List

            Source URL: lics.rwth-aachen.de

            - Date: 2012-10-30 04:29:34
              87

              Fair Cycle Detection using Description Logic Reasoning Shoham Ben-David1 , Jeffrey Pound1 , Richard Trefler1 , Dmitry Tsarkov2 , Grant Weddell1 1. David R. Cheriton School of Computer Science, University of Waterloo 2. S

              Add to Reading List

              Source URL: www.cs.man.ac.uk

              - Date: 2015-02-05 09:51:05
                88

                Ordering Heuristics for Description Logic Reasoning Dmitry Tsarkov and Ian Horrocks School of Computer Science University of Manchester Manchester, UK tsarkov|

                Add to Reading List

                Source URL: www.cs.man.ac.uk

                - Date: 2015-02-05 09:51:09
                  89

                  Logic Program Specialisation Michael Leuschel Department of Electronics and Computer Science University of Southampton Highfield, Southampton, SO17 1BJ, UK

                  Add to Reading List

                  Source URL: repository.readscheme.org

                  - Date: 2010-10-22 08:05:17
                    90

                    Advanced Logic Program Specialisation Michael Leuschel Department of Electronics and Computer Science University of Southampton Highfield, Southampton, SO17 1BJ, UK

                    Add to Reading List

                    Source URL: repository.readscheme.org

                    - Date: 2010-10-22 08:05:17
                      UPDATE